fpf{-}map($a$,$v$.$f$($a$;$v$);$x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$map($\lambda$$a$.$f$($a$;($x$.2)($a$));$x$.1)